Ming Ng, Steve Vickers, Point-free Construction of Real Exponentiation, Logical Methods in Computer Science, Volume 18, Issue 3 (August 2, 2022), (doi:10.46298/lmcs-18(3:15)2022, arXiv:2104.00162)
Ming Ng, Steven Vickers, A Point-Free Look at Ostrowski’s Theorem and Absolute Values (arXiv:2308.14758)
Ming Ng, Logical Berkovich Geometry: A Point-free Perspective (arXiv:2308.16472)
Last revised on December 12, 2023 at 20:13:31. See the history of this page for a list of all contributions to it.